Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
bitwise bit mask bitwise complement tilde negation by failure abduction modulo operator LDL1 complement N-Prolog minus infinity logical complement lossless audio compression MU-Prolog twos complement ampersand satisfiability problem exclamation mark Occam's Razor delta reduction polymorphism Russell's Paradox Prolog Axiom of Choice first-order logic machine cycle natural deduction race condition